#include "getKfromK3.h"

int8_t * getKfromK3(int8_t K3[48]) {

int KK[48] = {50,26,9,35,24,57,8,32,42,49,59,17,43,10,1,0,48,33,34,41,40,2,58,
	16,60,3,14,29,12,46,22,5,11,28,61,4,36,27,13,38,53,62,20,52,19,37,30,6};

	int8_t * res;
	res = calloc(64, sizeof(int8_t));
	for(int i=0; i<64; i++)
		res[i] = -1;
	for(int i=0; i<48; i++)
		res[KK[i]] = K3[i];

	return res;
}
